Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
721	¯ µ-terms Explanation in Natural Language of λµ ˜ Claudio Sacerdoti Coen? ´ Project PCRI, CNRS, Ecole Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2005-12-12 05:17:05 Mathematical logic Lambda calculus Natural deduction Curry–Howard correspondence Cut-elimination theorem Sequent calculus Sequent Theorem Calculus Proof theory Logic Mathematics
722	INFINITE SETS THAT SATISFY THE PRINCIPLE OF OMNISCIENCE IN ANY VARIETY OF CONSTRUCTIVE MATHEMATICS ´ MART´IN H. ESCARDO Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-01-09 04:45:03 Continuous function Function Well-founded relation Metric space Characterizations of the exponential function Lambda calculus Mathematics Mathematical analysis Calculus
723	PDF Document Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-04-28 16:23:58 Declarative programming Combinatory logic Lazy evaluation Anonymous function Fold Apply Free variables and bound variables Function Curry Software engineering Computing Lambda calculus
724	Encoding Information Flow in AURA Limin Jia Steve Zdancewic University of Pennsylvania ∗ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 ATS Lambda calculus Aura Information flow Computing Software engineering Computer science
725	1 Copyright © 2013, Oracle and/or its affiliates. All rights reserved. Lambda: A peek under the hood Add to Reading List Source URL: gotocon.com Language: English - Date: 2013-10-01 09:23:51 Cross-platform software Subroutines Java platform Functional programming Lambda calculus Java Closure Anonymous function Oracle Corporation Computing Software engineering Software
726	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein −→ Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Computer law Copyleft Logic in computer science Mathematical logic Rewriting Confluence Lambda calculus Transitive closure Theoretical computer science Mathematics Applied mathematics
727	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Lambda calculus Theoretical computer science Universal quantification First-order logic Hoare logic Mathematical logic Logic Mathematics
728	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Combinatory logic Free variables and bound variables Natural deduction Church encoding Constructible universe Fixed-point combinator Theoretical computer science Lambda calculus Mathematical logic
729	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:17:10 Lambda calculus Control flow Eval Scheme Env Constraint logic programming Combinatory logic LG enV Quasigroup Computing Mathematics Theoretical computer science
730	Last Time ➜ Conditional term rewriting COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Applied mathematics Measure theory Computer science Mathematics Constructible universe Lambda calculus

UPDATE